|
|
Jazyk pro dotazování Java AST
Bílek, Jiří ; Matula, Peter (oponent) ; Křivka, Zbyněk (vedoucí práce)
Cílem této práce je návrh dotazovacího jazyka nad abstraktním syntaktickým stromem Java kódu a implementace nástroje, který využívá tento dotazovací jazyk. V práci se nachází průzkum dostupných grafových databází a podrobnější studium grafových databází Neo4J a Titan. Následuje průzkum dostupných nástrojů pro analýzu Java bajtkódu a opět podrobnější zkoumání nástrojů Procyon a BCEL. Dále práce obsahuje návrh jazyka a detailní popis implementace nástroje společně s popisem uložení jednotlivých entit do grafové databáze. Závěrem se práce zabývá experimenty s vytvořeným nástrojem a vyhodnocením časové složitosti knihovny.
|
|
|
Pokročilé techniky tranformací jazyka C do jazyků popisujících hardware
Michalik, Martin ; Křoustek, Jakub (oponent) ; Přikryl, Zdeněk (vedoucí práce)
Tato práce se zabývá návrhem a realizací transformací aplikovaných při převodu jazyka C, použitého k popisu chování v rámci specifikace architektury v jazyce CodAL, do jazyků pro popis hardware. Cílem realizovaných transformací je buď umožnění zkrácení doby výpočtu, zvýšení frekvence nebo zmenšení plochy oproti původnímu řešení. V práci je popsána pro- blematika převodu jazyka C do jazyků pro popis hardware a jsou zde popsány principy a analýza navrhovaných transformací. Výsledky transformací jsou zhodnoceny na základě vizualizace control data flow a register-transfer level grafů, simulace výsledných zdrojových souborů jazyka VHDL v programu ModelSim a pomocí syntézy těchto souborů v programu Xilinx ISE pro cílové FPGA Vertix 5.
|
|
|
Analýza abstraktních syntaktických stromů pro podporu výuky jazyka Python
Fáber, Jakub ; Škoda, Petr (oponent) ; Smrž, Pavel (vedoucí práce)
Cieľom tejto práce je vytvorenie analyzátora za účelom kontroly programových riešení v jazyku Pythonu a navrhovanie ich zlepšení z hľadiska kvality a čistoty kódu. Pre najlepšie výsledky sa využíva kombinácia statickej a dynamickej analýzy. Tento systém je implementovaný vo forme tutor systému a využíva Docker kontajnery na bezpečné testovanie a analýzu v izolovanom prostredí. Na komunikáciu s úžívateľom je navrhnuté interaktívne prostredie s použitím moderných technólogii ako je Material Design.
|
|
|
Optimalizace překladu agentních jazyků různé úrovně abstrakce
Kalmár, Róbert ; Kočí, Radek (oponent) ; Zbořil, František (vedoucí práce)
Cílem této práce je optimalizace překladu agentního jazyka AHLL. Jsou představeny různé používané interní formy reprezentace kódu pro překladač jako i optimalizace kódu v těchto reprezentacích. Hlavní část práce je zaměřená implementaci zvolených optimalizací a způsobu generování cílového kódu v jazyce ALLL. Dále se čtenář dozví o přínosu zvolených optimalizací taktéž o dalších možnostech při vývoji jazyka AHLL a jeho optimalizace.
|
|
|
Conversion of a Robot Program from Code to an AR-Compatible Representation
Kadnár, Šimon ; Bažout, David (oponent) ; Materna, Zdeněk (vedoucí práce)
The demand for robots and their development is constantly growing. Along with robots, various environments are being created to facilitate their programming. One such environment is the ARCOR2 application. The application has implemented a functionality that allows internally represented data, which control the robot, to be converted into the widely known Python language. The aforementioned conversion was introduced because Python is used as an interpreter for the robot program in which it is possible to run the program. The aim of the work is to utilize the conversion from the internal representation of data to the Python language for modifying the robot's code. The benefit of the work is enabling modifications in the Python language by converting the modified code back into the internal representation of data. As a result, the workstation operator can create a program using augmented reality, and an experienced programmer can subsequently modify the created program in the Python language. The solution allows for effective collaboration between regular users and programmers, with each working with a program form that corresponds to their abilities.
|
|
|
Identifikace známých segmentů ve zvukovém signálu pomocí strojového učení
Pařízek, Radim ; Galáž, Zoltán (oponent) ; Zvončák, Vojtěch (vedoucí práce)
Bakalářská práce se věnuje návrhu systému pro identifikaci zvuků přírodního prostředí ve zvukovém záznamu. V práci jsou prozkoumány datasety a modely využívané pro tento typ úloh a je popsána jejich struktura. Byly navrhnuty systémy pro identifikaci zvuků v jedné vrstvě a ve dvou vrstvách pro sedm vybraných označení. Klasifikátor použitý pro tento systém byl vytvořen přetrénováním transformer modelu z platformy Hugging Face. Byly zhodnoceny výsledky dvou přístupů trénování a jednoho systému pro identifikaci.
|
|
| |
|
| |
|
|
Pokročilé techniky tranformací jazyka C do jazyků popisujících hardware
Michalik, Martin ; Křoustek, Jakub (oponent) ; Přikryl, Zdeněk (vedoucí práce)
Tato práce se zabývá návrhem a realizací transformací aplikovaných při převodu jazyka C, použitého k popisu chování v rámci specifikace architektury v jazyce CodAL, do jazyků pro popis hardware. Cílem realizovaných transformací je buď umožnění zkrácení doby výpočtu, zvýšení frekvence nebo zmenšení plochy oproti původnímu řešení. V práci je popsána pro- blematika převodu jazyka C do jazyků pro popis hardware a jsou zde popsány principy a analýza navrhovaných transformací. Výsledky transformací jsou zhodnoceny na základě vizualizace control data flow a register-transfer level grafů, simulace výsledných zdrojových souborů jazyka VHDL v programu ModelSim a pomocí syntézy těchto souborů v programu Xilinx ISE pro cílové FPGA Vertix 5.
|
|
|
Analýza abstraktních syntaktických stromů pro podporu výuky jazyka Python
Fáber, Jakub ; Škoda, Petr (oponent) ; Smrž, Pavel (vedoucí práce)
Cieľom tejto práce je vytvorenie analyzátora za účelom kontroly programových riešení v jazyku Pythonu a navrhovanie ich zlepšení z hľadiska kvality a čistoty kódu. Pre najlepšie výsledky sa využíva kombinácia statickej a dynamickej analýzy. Tento systém je implementovaný vo forme tutor systému a využíva Docker kontajnery na bezpečné testovanie a analýzu v izolovanom prostredí. Na komunikáciu s úžívateľom je navrhnuté interaktívne prostredie s použitím moderných technólogii ako je Material Design.
|
host ::
RSS.